The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
The Architect’s Mindset: Structuring Data for Robust AI Pipelines
dev.to·2d·
Discuss: DEV
💻Programming languages
Flag this post
The Machine Learning Roadmap
github.com·8h·
Discuss: Hacker News
🎵Audio ML
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Recipe 8.6. Picking a Random Line from a File (Perl Cookbook)
csg.sph.umich.edu·12h
📝Text Compression
Flag this post
An overview of memory management in Go (2021)
medium.com·13h·
Discuss: Hacker News
🧠Memory Allocators
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Built Bittorrent in go
reddit.com·19h·
Discuss: r/golang
🌊BitTorrent
Flag this post
two-dimensional category
ncatlab.org·6d
🔀Category Theory
Flag this post
Google's Nested Learning aims to stop LLMs from catastrophic forgetting
the-decoder.com·11h
💻Local LLMs
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·8h·
Discuss: Hacker News
📄Text Chunking
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
📚Lempel-Ziv
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.com·1d·
Discuss: Hacker News
🔬Lean
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
🦀Rust Macros
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post